一类非线性反应扩散系统

用非线性分析的方法,研究一类带混合非齐次边界条件的肺动脉毛细血管中血红蛋白的氧化反应扩散系统,并引进局部上、下解的概念,借助构造局部上、下解,在任一有限时间区间内得到解的存在性,从而证明了解是整体存在的.     

基于边界相切拟合的轴对称工件缺陷重构方法

针对轴对称工件超声检测缺陷重构问题,通过分析传统基于传播时间反演方法的不足和误差产生的原因,提出了一种基于边界相切拟合的缺陷重构方法,并针对实际检测缺陷的类型,采用圆和椭圆作为模型对缺陷进行重构。从重构结果上看,当检测实心体工件时,圆形缺陷的圆拟合重构误差不大于0.1 mm,圆形缺陷的椭圆拟合重构误差小于0.4 mm,椭圆形缺陷的椭圆拟合重构误差小于0.3 mm,空心体工件由于检测方式不同,误差会比实心体大一些。     

惯性组合误差标定中边界条件的确定和数据处理方法

利用弹道导弹速率捷联惯性测量组合的数学模型, 研究了惯性组合误差标定中的边界条件确定的方法,给出了标定后数据处理的关键程序代码, 可用于对惯性组合工具误差的补偿。     

电化学极化状态对潜艇螺旋桨扰动电场模型的影响

潜艇服役期间涂层性能退变影响潜艇电场分布,以材料电化学极化状态为边界条件,应用边界元法建立潜艇涂层性能下降、涂层渗透腐蚀、涂层局部破损极化三种潜艇腐蚀静电场模型,从时域和频域特征对螺旋桨扰动电场模型进行分析。研究结果表明：电化学极化状态对螺旋桨扰动电场的电位信号特征及电场谐波频段影响显著。恒电位、线性极化、非线性极化三种边界条件下,螺旋桨以相同频率旋转扰动静电场时,各模型的频率成分占比差异明显。非线性边界条件下的扰动频率和2倍扰动频占比相差最大,线性边界条件下的扰动频率和2倍扰动频占比相差最小。三种边界条件下电场模型的3倍扰动频以上的谐波范围会发生改变,恒电位边界下模型谐波范围最小,非线性边界条件下谐波范围最大。     

压制式干扰条件下舰空导弹杀伤区远界的建模方法

从战场环境、空袭目标特性、舰空导弹武器系统的性能三个方面研究了杀伤区远界。首先利用综合信干比与最小可检测信噪比的关系建立了压制式干扰条件下制导雷达的探测距离模型;然后利用杀伤空域坐标系与攻击平面坐标系的关系,针对不同特性的空袭目标,分析了求解杀伤区远界的方法;在对垂直发射型舰空导弹弹道进行假设的基础上,利用比例导引弹道模拟了舰空导弹的飞行过程。仿真结果表明,该模型能较好的模拟舰空导弹的杀伤区远界。     

具有时滞的二阶多点边值问题3个正解的存在性

研究具有时滞的二阶多点边值问题,应用Avery和Peterson推广的Leggett-Williams不动点定理,给出了该边值问题至少存在3个正解的充分条件。     

Global Diagnosable Sequence的故障诊断能力分析

利用归纳法对Global Diagnosable Sequence的故障诊断能力进行了分析。分析结果表明：目前该算法＂关于征兆混淆问题＂的结论是不够准确的,除了满足一个基本互连诊断算法的抗混淆能力以外,还对W-A/W-O以及W-O/S-D-k无征兆混淆。并由证明过程得到以下结论：无W-O征兆误判的诊断算法必然不存在W-O/S-D-k征兆混淆。     

Peace-building or structural violence? Deconstructing the aftermath of Nigeria/Cameroon boundary demarcation

ABSTRACT

There is a great conviction that the International Court of Justice’s ruling in 2002 on the Bakassi boundary dispute between Nigeria and Cameroon, and Nigeria’s decision to obey the ruling may have stopped a fierce inter-state war over the boundary. Indeed, many then ascribed to the whole boundary demarcation process as peacebuilding, disregarding the structural changes marked by the violence of forced migration. This article explores how the boundary delimitation has produced particular sorts of structural violence characterised by state neglect, loss of livelihoods and destitution. Thus, the article argues that although a full-blown war was avoided, the socio-economic conditions of the Nigerian populations on both sides of the border were not adequately considered and guaranteed as part of the peace-building agenda. It further argues that Nigeria, like many post-colonial states with the concentration of developments in major cities, neglects rural and border communities. Thus, the border communities accommodating the former Bakassi residents have further degenerated into ‘ill-governed’ spaces. This article uses structural violence as a framework to analyse the primary and secondary data to provide some deeper insights into the issues of violence being experienced by the local populations living on both sides of the demarcated border.     

Clifford分析中K超正则函数的Riemann边值问题

Clifford分析中的函数理论被广泛研究,得到的许多结果推广了经典复分析中解析函数的理论。文中研究了Clifford分析中K超正则函数的Riemann边值问题,得到它的一种表示式和Cauchy积分公式等一些性质,利用转化法和积分方程及不动点原理证明了它的一类Riemann边值问题O解的存在唯一性。     

基于虚拟仪器技术与边界扫描技术的电路板通用测试系统

为实现对军用电路板的有效测试,针对其小批量和多品种的特点,设计了相应的测试策略。采用了虚拟仪器技术与边界扫描测试技术,构建了基于PXI测试总线的电路板通用测试系统,实现了对电路板的功能测试与结构性测试。该系统可以检测各种类型电路板,对于提高故障定位精度和减少产品的测试时间起重要作用,较好地满足了电路板生产测试和维护测试需求。